Algorithms and Applications for Universal Quanti cation in Relational
نویسندگان
چکیده
Queries containing universal quanti cation are used in many applications, including business intelligence applications and in particular data mining. We present a comprehensive survey of the structure and performance of algorithms for universal quanti cation. We introduce a framework that results in a complete classi cation of input data for universal quanti cation. Then we go on to identify the most eÆcient algorithm for each such class. One of the input data classes has not been covered so far. For this class, we propose several new algorithms. Thus, for the rst time, we are able to identify the optimal algorithm to use for any given input dataset. These two classi cations of optimal algorithms and input data are important for query optimization. They allow a query optimizer to make the best selection when optimizing at intermediate steps for the quanti cation problem. In addition to the classi cation, we show the relationship between relational division and the set containment join and we illustrate the usefulness of employing universal quanti cations by presenting a novel approach for frequent itemset discovery.
منابع مشابه
An Overview of Fuzzy Quanti ers Part Reasoning and Applications
In the second part of the overview reasoning with fuzzily de ned quanti ers and applications are presented Possibility based reasoning This work has been supported by the International Projects of the Flemish Community Cooperation with P R China No is summarized in detail The widely used quanti er extension principle and various reasoning schemas derived from it are discussed Some disad vantage...
متن کاملProviding Better Support for Quanti ed Queries
Relational database systems do not e ectively support complex queries containing quanti ers (quanti ed queries) that are increasingly becoming important in decision support applications. Generalized quanti ers provide an e ective way of expressing such queries naturally. In this paper, we consider the problem of processing quanti ed queries within the generalized quanti er framework. We demonst...
متن کاملVisualization of Path Expressions in a Virtual Object-Oriented Database Query Language
Although path expressions in object-oriented query languages have materialized the capability of concisely manipulating the nested structures, their presence in query expressions require complex semantic considerations. However, none of currently existing visual query languages models such complex query expressions in a concise and intuitive way partly due to either the lack of well-de ned synt...
متن کاملOn Plotkin-Abadi Logic for Parametric Polymorphism Towards a Categorical Understanding
The idea of parametric polymorphism is that of a single operator that can be used for di erent data types and whose behaviour is somehow uniform for each type. Reynolds [Reynolds, 1983] uses binary relations to de ne a uniformity condition for parametric polymorphism. In [Plotkin & Abadi, 1993] the authors proposed a second order logic for second order lambda-calculus; this logic is able to han...
متن کاملTowards a Categorical Understanding of Plotkin-Abadi Logic for Parametric Polymorphism
The idea of parametric polymorphism is that of a single operator that can be used for di erent data types and whose behaviour is somehow uniform for each type. This concept was rst proposed by Strachey [13]. Reynolds [9] uses binary relations to de ne a uniformity condition for parametric polymorphism. In [1] Plotkin and Abadi proposed a second order logic for second order lambdacalculus; this ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2002